[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 36, 37, 45, 46, 47, 48, 49, 50, 51, 53, 54, 55, 56, 57, 58, 65, 66, 67, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 183, 184, 186, 188, 189, 190, 191, 193, 194, 195, 196, 197, 198, 200, 201, 202, 206, 207, 208, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 227, 229, 230, 231, 232, 233, 235, 236, 237, 239, 240, 241, 242, 243, 244, 251, 252, 254, 255, 256, 257, 258, 259, 261, 262, 263, 264, 265, 266, 267, 268, 269, 272, 273, 274, 276, 277, 278, 279, 280, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 305, 309, 310, 311, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 325, 326, 328, 332, 333, 334, 335, 336, 340, 342, 343, 344, 348 }

B grade: { 28, 29, 34, 35, 52, 59, 181, 182, 185, 187, 192, 199, 203, 204, 205, 209, 210, 211, 226, 228, 234, 238, 245, 246, 247, 248, 249, 250, 253, 260, 270, 271, 275, 281, 282, 283, 300, 301, 302, 303, 304, 306, 307, 308, 312, 323, 324, 327, 329, 330, 331, 337, 338, 339, 341, 345, 346, 347 }

C grade: { 38, 39, 40, 41, 42, 43, 44, 60, 61, 62, 63, 64, 68, 132, 133 }

F grade: { }

2.1.3 Maple

A grade: { 4, 5, 6, 7, 12, 13, 14, 15, 19, 20, 21, 22, 26, 27, 30, 31, 32, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 71, 75, 76, 98, 99, 100, 104, 105, 106, 110, 111, 115, 116, 120, 121, 137, 138, 142, 143, 144, 145, 149, 150, 154, 155, 156, 160, 161, 162, 166, 167, 171, 172, 173, 177, 178, 182, 183, 184, 188, 189, 190, 195, 196, 200, 201, 202, 206, 207, 208, 212, 213, 214, 215, 216, 217, 218, 219, 223, 227, 235, 239, 240, 241, 242, 243, 244, 245, 248, 254, 255, 256, 259, 261, 262, 265, 266, 267, 268, 272, 273, 274, 276, 278, 279, 280, 284, 285, 286, 290, 291, 292, 293, 297, 305, 309, 313, 314, 315, 316, 317, 318, 328, 332, 340, 348 }

B grade: { 1, 2, 3, 8, 9, 10, 11, 16, 17, 18, 23, 24, 25, 28, 29, 33, 34, 35, 95, 96, 97, 101, 102, 103, 107, 108, 109, 112, 113, 114, 117, 118, 119, 151, 152, 153, 157, 158, 159, 165, 170, 179, 180, 181, 185, 186, 187, 191, 192, 193, 194, 197, 198, 199, 203, 204, 205, 209, 210, 211, 222, 226, 230, 231, 234, 238, 251, 252, 253, 257, 258, 260, 263, 264, 269, 270, 271, 275, 277, 281, 282, 283, 296, 300, 301, 304, 308, 312, 320, 323, 327, 331, 335, 336, 339, 343, 344, 347 }

C grade: { 77, 78, 79, 80, 81, 82, 83, 122, 123, 124, 319, 322 }

F grade: { 67, 68, 69, 70, 72, 73, 74, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 139, 140, 141, 146, 147, 148, 163, 164, 168, 169, 174, 175, 176, 220, 221, 224, 225, 228, 229, 232, 233, 236, 237, 246, 247, 249, 250, 287, 288, 289, 294, 295, 298, 299, 302, 303, 306, 307, 310, 311, 321, 324, 325, 326, 329, 330, 333, 334, 337, 338, 341, 342, 345, 346 }

2.1.4 Maxima

A grade: { 4, 19, 26, 27, 36, 37, 65, 66, 71, 75, 76, 103, 115, 116, 137, 138, 142, 143, 144, 145, 149, 150, 159, 166, 167, 171, 172, 173, 177, 178, 182, 200, 215, 216, 217, 218, 219, 240, 241, 242, 243, 244, 253, 254, 255, 256, 264, 265, 266, 272, 273, 274, 279, 284, 290, 291, 297, 305, 309, 314, 315, 316, 317, 318, 332, 340, 348

B grade: { 1, 2, 3, 8, 9, 10, 11, 16, 17, 18, 23, 24, 25, 28, 29, 30, 33, 34, 35, 95, 96, 97, 101, 102, 107, 108, 109, 112, 113, 114, 117, 118, 119, 151, 152, 153, 157, 158, 179, 180, 181, 185, 186, 187, 188, 194, 197, 198, 199, 203, 204, 205, 206, 210, 211, 212, 251, 252, 257, 258, 259, 260, 263, 269, 270, 271, 275, 276, 277, 278, 282, 283 }

C grade: { 5, 6, 7, 12, 13, 14, 15, 20, 21, 22, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 98, 99, 100, 104, 105, 106, 154, 155, 156, 160, 161, 162, 261, 262, 267, 268 }

F grade: { 31, 32, 67, 68, 69, 70, 72, 73, 74, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 110, 111, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 139, 140, 141, 146, 147, 148, 163, 164, 165, 168, 169, 170, 174, 175, 176, 183, 184, 189, 190, 191, 192, 193, 195, 196, 201, 202, 207, 208, 209, 213, 214, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 245, 246, 247, 248, 249, 250, 280, 281, 285, 286, 287, 288, 289, 292, 293, 294, 295, 296, 298, 299, 300, 301, 302, 303, 304, 306, 307, 308, 310, 311, 312, 313, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 333, 334, 335, 336, 337, 338, 339, 341, 342, 343, 344, 345, 346, 347 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 26, 27, 30, 31, 32, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 69, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 110, 111, 114, 115, 116, 120, 121, 137, 138, 142, 143, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 171, 172, 173, 174, 175, 176, 177, 178, 182, 183, 184, 188, 189, 190, 193, 194, 195, 196, 201, 202, 207, 208, 213, 214, 215, 216, 217, 218, 219, 223, 227, 231, 235, 240, 241, 242, 243, 244, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 277, 278, 279, 280, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 297, 301, 305, 309, 313, 314, 315, 316, 317, 318, 319, 328, 332, 336, 340, 344, 348 }

B grade: { 7, 14, 15, 22, 25, 29, 35, 52, 106, 108, 109, 113, 118, 119, 165, 170, 180, 181, 186, 187, 192, 199, 200, 205, 206, 211, 212, 222, 226, 230, 234, 238, 239, 245, 248, 253, 271, 276, 283, 296, 300, 304, 308, 312, 320, 322, 323, 327, 331, 335, 339, 343, 347 }

C grade: { 23, 24, 28, 33, 34, 107, 112, 117, 163, 164, 168, 169, 179, 185, 191, 197, 198, 203, 204, 209, 210, 220, 221, 224, 225, 228, 229, 232, 233, 236, 237, 246, 247, 249, 250, 251, 252, 269, 270, 275, 281, 282, 294, 295, 298, 299, 302, 303, 306, 307, 310, 311, 321, 324, 325, 326, 329, 330, 333, 334, 337, 338, 341, 342, 345, 346 }

F grade: { 67, 68, 70, 91, 92, 93, 94, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 139, 140, 141, 144 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 8, 9, 10, 11, 16, 17, 18, 19, 26, 27, 31, 32, 36, 37, 60, 61, 62, 63, 64, 65, 66, 71, 75, 76, 95, 96, 97, 101, 102, 103, 109, 110, 111, 114, 115, 116, 119, 120, 121, 137, 138, 142, 143, 144, 149, 150, 151, 152, 153, 157, 158, 159, 166, 177, 181, 182, 183, 187, 188, 193, 194, 201, 202, 207, 208, 213, 214, 216, 217, 218, 241, 242, 243, 254, 255, 257, 258, 259, 260, 264, 265, 266, 273, 274, 279, 280, 285, 286, 290, 291, 292, 297, 315, 316, 317 }

B grade: { }

C grade: { }

F grade: { 5, 6, 7, 12, 13, 14, 15, 20, 21, 22, 23, 24, 25, 28, 29, 30, 33, 34, 35, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 67, 68, 69, 70, 72, 73, 74, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 98, 99, 100, 104, 105, 106, 107, 108, 112, 113, 117, 118, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 139, 140, 141, 145, 146, 147, 148, 154, 155, 156, 160, 161, 162, 163, 164, 165, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 178, 179, 180, 184, 185, 186, 189, 190, 191, 192, 195, 196, 197, 198, 199, 200, 203, 204, 205, 206, 209, 210, 211, 212, 215, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 256, 261, 262, 263, 267, 268, 269, 270, 271, 272, 275, 276, 277, 278, 281, 282, 283, 284, 287, 288, 289, 293, 294, 295, 296, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 8, 9, 10, 11, 16, 17, 18, 19, 26, 27, 31, 32, 36, 37, 65, 66, 71, 75, 76, 95, 96, 97, 101, 102, 103, 110, 111, 115, 116, 120, 121, 137, 138, 142, 143, 144, 145, 149, 150, 151, 152, 153, 157, 158, 159, 166, 167, 171, 172, 173, 177, 178, 182, 183, 184, 188, 189, 190, 194, 195, 196, 200, 201, 202, 206, 212, 215, 216, 217, 218, 219, 223, 227, 231, 235, 239, 240, 241, 242, 243, 244, 254, 255, 256, 260, 266, 272, 273, 274, 278, 280, 284, 286, 290, 291, 292, 293, 297, 301, 305, 309, 313, 314, 315, 316, 317, 318, 328, 332, 336, 340, 348 }

B grade: { 30, 109, 114, 119, 181, 277, 344 }

C grade: { 5, 6, 7, 12, 13, 14, 15, 20, 38, 39, 40, 41, 45, 46, 47, 48, 53, 54, 55, 56, 60, 61, 62, 98, 99, 100, 104, 154, 155, 156, 160, 261, 267 }

F grade: { 21, 22, 23, 24, 25, 28, 29, 33, 34, 35, 42, 43, 44, 49, 50, 51, 52, 57, 58, 59, 63, 64, 67, 68, 69, 70, 72, 73, 74, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 105, 106, 107, 108, 112, 113, 117, 118, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 139, 140, 141, 146, 147, 148, 161, 162, 163, 164, 165, 168, 169, 170, 174, 175, 176, 179, 180, 185, 186, 187, 191, 192, 193, 197, 198, 199, 203, 204, 205, 207, 208, 209, 210, 211, 213, 214, 220, 221, 222, 224, 225, 226, 228, 229, 230, 232, 233, 234, 236, 237, 238, 245, 246, 247, 248, 249, 250, 251, 252, 253, 257, 258, 259, 262, 263, 264, 265, 268, 269, 270, 271, 275, 276, 279, 281, 282, 283, 285, 287, 288, 289, 294, 295, 296, 298, 299, 300, 302, 303, 304, 306, 307, 308, 310, 311, 312, 319, 320, 321, 322, 323, 324, 325, 326, 327, 329, 330, 331, 333, 334, 335, 337, 338, 339, 341, 342, 343, 345, 346, 347 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 77 551 662 348 311 231
normalized size 1 1. 0.84 5.99 7.2 3.78 3.38 2.51
time (sec) N/A 0.091 0.339 0.009 1.124 1.632 2.921 1.12
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 62 308 385 230 202 150
normalized size 1 1. 0.87 4.34 5.42 3.24 2.85 2.11
time (sec) N/A 0.065 0.205 0.007 1.079 1.667 1.356 1.119
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 45 148 190 138 112 88
normalized size 1 1. 0.9 2.96 3.8 2.76 2.24 1.76
time (sec) N/A 0.039 0.171 0.006 1.031 1.682 0.636 1.153
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 27 52 72 70 46 42
normalized size 1 1. 0.96 1.86 2.57 2.5 1.64 1.5
time (sec) N/A 0.016 0.07 0.007 1.012 1.664 0.235 1.102
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 49 73 190 200 0 806
normalized size 1 1. 0.96 1.43 3.73 3.92 0. 15.8
time (sec) N/A 0.098 0.095 0.009 1.269 1.611 0. 1.21
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 66 107 221 302 0 4131
normalized size 1 1. 0.92 1.49 3.07 4.19 0. 57.38
time (sec) N/A 0.109 0.21 0.01 1.326 1.643 0. 1.295
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 87 145 269 471 0 7731
normalized size 1 1. 0.84 1.39 2.59 4.53 0. 74.34
time (sec) N/A 0.139 0.664 0.008 1.525 1.838 0. 1.555
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 132 1030 992 593 660 300
normalized size 1 1. 0.82 6.4 6.16 3.68 4.1 1.86
time (sec) N/A 0.103 0.638 0.048 1.146 1.771 6.157 1.166
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 106 587 597 394 456 207
normalized size 1 1. 0.79 4.38 4.46 2.94 3.4 1.54
time (sec) N/A 0.074 0.42 0.007 1.07 1.7 3.24 1.136
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 77 289 313 247 264 127
normalized size 1 1. 0.81 3.04 3.29 2.6 2.78 1.34
time (sec) N/A 0.054 0.302 0.007 1.025 1.776 1.461 1.124
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 52 112 130 130 126 65
normalized size 1 1. 0.95 2.04 2.36 2.36 2.29 1.18
time (sec) N/A 0.027 0.146 0.006 1.009 1.644 0.629 1.118
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 65 105 216 238 0 826
normalized size 1 1. 0.83 1.35 2.77 3.05 0. 10.59
time (sec) N/A 0.168 0.104 0.01 1.231 1.702 0. 1.233
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 75 156 231 325 0 3976
normalized size 1 1. 0.93 1.93 2.85 4.01 0. 49.09
time (sec) N/A 0.139 0.399 0.009 1.322 1.819 0. 1.343
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 101 193 278 509 0 6940
normalized size 1 1. 0.89 1.71 2.46 4.5 0. 61.42
time (sec) N/A 0.192 1.14 0.009 1.524 1.833 0. 1.616
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 122 229 346 733 0 10573
normalized size 1 1. 0.75 1.41 2.14 4.52 0. 65.27
time (sec) N/A 0.181 1.218 0.008 1.886 1.93 0. 1.772
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 150 1023 1261 764 772 474
normalized size 1 1. 0.67 4.55 5.6 3.4 3.43 2.11
time (sec) N/A 0.25 0.999 0.035 1.224 1.77 9.804 1.138
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 127 560 730 495 495 312
normalized size 1 1. 0.73 3.2 4.17 2.83 2.83 1.78
time (sec) N/A 0.159 0.926 0.009 1.088 1.741 5.233 1.141
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 86 265 365 298 284 185
normalized size 1 1. 0.7 2.15 2.97 2.42 2.31 1.5
time (sec) N/A 0.096 0.406 0.007 1.072 1.634 2.593 1.134
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 59 95 140 153 126 93
normalized size 1 1. 0.79 1.27 1.87 2.04 1.68 1.24
time (sec) N/A 0.042 0.173 0.007 1.055 1.639 1.114 1.151
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 102 167 370 406 0 8500
normalized size 1 1. 0.84 1.38 3.06 3.36 0. 70.25
time (sec) N/A 0.245 0.243 0.009 1.365 1.662 0. 1.759
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 175 240 406 595 0 0
normalized size 1 1. 1.21 1.66 2.8 4.1 0. 0.
time (sec) N/A 0.242 1.051 0.01 1.818 1.997 0. 0.
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 221 313 454 919 0 0
normalized size 1 1. 1.2 1.7 2.47 4.99 0. 0.
time (sec) N/A 0.354 0.796 0.01 1.973 1.98 0. 0.
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 185 185 221 633 953 2056 0 0
normalized size 1 1. 1.19 3.42 5.15 11.11 0. 0.
time (sec) N/A 0.137 0.457 0.095 1.512 2.112 0. 0.
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 148 361 529 1330 0 0
normalized size 1 1. 1.2 2.93 4.3 10.81 0. 0.
time (sec) N/A 0.088 0.32 0.048 1.327 1.938 0. 0.
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 134 151 235 721 0 0
normalized size 1 1. 2. 2.25 3.51 10.76 0. 0.
time (sec) N/A 0.039 0.075 0.032 1.326 1.867 0. 0.
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.022 6.016 0.058 0. 0. 0. 0.
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 6.952 0.048 0. 0. 0. 0.
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 113 113 478 541 2228 1756 0 0
normalized size 1 1. 4.23 4.79 19.72 15.54 0. 0.
time (sec) N/A 0.213 6.909 0.085 1.602 2.046 0. 0.
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 83 83 181 276 749 1026 0 0
normalized size 1 1. 2.18 3.33 9.02 12.36 0. 0.
time (sec) N/A 0.136 4.827 0.043 1.462 1.795 0. 0.
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 52 39 293 119 0 1689
normalized size 1 1. 1.79 1.34 10.1 4.1 0. 58.24
time (sec) N/A 0.028 0.084 0.007 1.005 1.703 0. 2.028
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.04 6.267 0.178 0. 0. 0. 0.
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 6.353 0.339 0. 0. 0. 0.
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 309 309 528 1056 5234 4091 0 0
normalized size 1 1. 1.71 3.42 16.94 13.24 0. 0.
time (sec) N/A 0.226 5.103 0.125 6.517 2.684 0. 0.
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 471 548 2611 2379 0 0
normalized size 1 1. 2.62 3.04 14.51 13.22 0. 0.
time (sec) N/A 0.136 7.439 0.077 2.349 2.26 0. 0.
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 292 246 1044 1191 0 0
normalized size 1 1. 2.68 2.26 9.58 10.93 0. 0.
time (sec) N/A 0.067 1.822 0.054 1.646 1.984 0. 0.
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 31.357 2.163 0. 0. 0. 0.
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.038 34.8 3.402 0. 0. 0. 0.
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 124 233 891 467 0 1376
normalized size 1 1. 0.64 1.19 4.57 2.39 0. 7.06
time (sec) N/A 0.434 0.111 0.012 1.881 1.774 0. 1.259
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 125 188 855 394 0 764
normalized size 1 1. 0.74 1.11 5.03 2.32 0. 4.49
time (sec) N/A 0.242 0.1 0.007 1.83 1.796 0. 1.252
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 123 145 779 327 0 332
normalized size 1 1. 0.87 1.02 5.49 2.3 0. 2.34
time (sec) N/A 0.176 0.094 0.007 1.834 1.765 0. 1.182
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 121 99 714 269 0 227
normalized size 1 1. 1.03 0.85 6.1 2.3 0. 1.94
time (sec) N/A 0.133 0.054 0.014 1.777 1.719 0. 1.125
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 148 140 632 362 0 0
normalized size 1 1. 1.06 1.01 4.55 2.6 0. 0.
time (sec) N/A 0.204 0.313 0.014 1.322 1.964 0. 0.
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 162 180 632 510 0 0
normalized size 1 1. 0.96 1.07 3.76 3.04 0. 0.
time (sec) N/A 0.238 0.63 0.009 1.311 2.261 0. 0.
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 208 220 632 682 0 0
normalized size 1 1. 1.08 1.14 3.27 3.53 0. 0.
time (sec) N/A 0.297 0.459 0.007 1.314 2.368 0. 0.
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 194 242 940 614 0 1419
normalized size 1 1. 0.84 1.05 4.07 2.66 0. 6.14
time (sec) N/A 0.442 2.144 0.017 1.855 2.296 0. 1.348
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 175 197 899 478 0 772
normalized size 1 1. 0.86 0.97 4.43 2.35 0. 3.8
time (sec) N/A 0.36 1.696 0.013 1.824 2.157 0. 1.26
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 149 150 826 367 0 331
normalized size 1 1. 0.94 0.95 5.23 2.32 0. 2.09
time (sec) N/A 0.285 0.532 0.013 1.82 2.192 0. 1.208
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 126 108 747 281 0 220
normalized size 1 1. 0.97 0.83 5.75 2.16 0. 1.69
time (sec) N/A 0.234 0.226 0.015 1.851 2.058 0. 1.183
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 149 145 640 340 0 0
normalized size 1 1. 1.1 1.07 4.74 2.52 0. 0.
time (sec) N/A 0.254 0.384 0.013 1.323 2.121 0. 0.
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 158 189 644 502 0 0
normalized size 1 1. 0.93 1.11 3.79 2.95 0. 0.
time (sec) N/A 0.328 1.399 0.014 1.291 2.331 0. 0.
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 216 216 244 230 644 745 0 0
normalized size 1 1. 1.13 1.06 2.98 3.45 0. 0.
time (sec) N/A 0.336 2.003 0.013 1.302 2.455 0. 0.
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A C B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 661 273 644 941 0 0
normalized size 1 1. 2.68 1.11 2.61 3.81 0. 0.
time (sec) N/A 0.419 4.638 0.015 1.294 2.895 0. 0.
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 410 410 542 476 1868 923 0 2726
normalized size 1 1. 1.32 1.16 4.56 2.25 0. 6.65
time (sec) N/A 1.127 3.152 0.013 2.209 2.764 0. 1.629
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 354 354 389 384 1790 761 0 1513
normalized size 1 1. 1.1 1.08 5.06 2.15 0. 4.27
time (sec) N/A 0.972 1.634 0.013 2.23 2.419 0. 1.493
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 266 296 1651 645 0 659
normalized size 1 1. 0.88 0.97 5.43 2.12 0. 2.17
time (sec) N/A 0.498 0.804 0.01 2.144 2.32 0. 1.288
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 202 210 1527 552 0 446
normalized size 1 1. 0.79 0.82 5.94 2.15 0. 1.74
time (sec) N/A 0.405 0.56 0.015 2.119 2.172 0. 1.221
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 270 270 300 288 1264 707 0 0
normalized size 1 1. 1.11 1.07 4.68 2.62 0. 0.
time (sec) N/A 0.564 1.008 0.013 1.49 2.453 0. 0.
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 292 292 496 368 1265 963 0 0
normalized size 1 1. 1.7 1.26 4.33 3.3 0. 0.
time (sec) N/A 0.71 2.426 0.011 1.519 2.663 0. 0.
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A C A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 356 356 1429 450 1265 1269 0 0
normalized size 1 1. 4.01 1.26 3.55 3.56 0. 0.
time (sec) N/A 0.797 6.398 0.012 1.482 3.43 0. 0.
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 60 87 423 192 117 286
normalized size 1 1. 0.69 1. 4.86 2.21 1.34 3.29
time (sec) N/A 0.109 0.013 0.01 1.762 2.293 126.238 1.155
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 69 65 379 149 85 238
normalized size 1 1. 1.06 1. 5.83 2.29 1.31 3.66
time (sec) N/A 0.058 0.011 0.009 1.734 2.344 3.118 1.154
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A A C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 59 42 344 101 54 184
normalized size 1 1. 1.28 0.91 7.48 2.2 1.17 4.
time (sec) N/A 0.034 0.008 0.007 1.665 2.043 1.381 1.156
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 64 60 231 149 80 0
normalized size 1 1. 1. 0.94 3.61 2.33 1.25 0.
time (sec) N/A 0.065 0.023 0.007 1.157 2.229 7.55 0.
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 111 79 231 189 114 0
normalized size 1 1. 1.28 0.91 2.66 2.17 1.31 0.
time (sec) N/A 0.093 0.085 0.006 1.174 2.281 145.307 0.
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.031 15.374 0.059 0. 0. 0. 0.
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.031 14.608 0.05 0. 0. 0. 0.
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 33 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.408 0.119 0. 0. 0. 0.
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 185 0 0 0 0 0
normalized size 1 1. 2.98 0. 0. 0. 0. 0.
time (sec) N/A 0.107 4.194 0.103 0. 0. 0. 0.
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 35 0 0 117 0 0
normalized size 1 1. 0.83 0. 0. 2.79 0. 0.
time (sec) N/A 0.06 0.405 0.096 0. 1.723 0. 0.
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 58 0 0 0 0 0
normalized size 1 1. 0.7 0. 0. 0. 0. 0.
time (sec) N/A 0.086 0.585 0.128 0. 0. 0. 0.
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.721 0.299 0. 0. 0. 0.
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 251 0 0 459 0 0
normalized size 1 1. 0.94 0. 0. 1.72 0. 0.
time (sec) N/A 0.303 9.809 0.207 0. 1.908 0. 0.
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 211 0 0 340 0 0
normalized size 1 1. 1.3 0. 0. 2.1 0. 0.
time (sec) N/A 0.217 0.612 0.138 0. 1.81 0. 0.
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 121 0 0 219 0 0
normalized size 1 1. 0.95 0. 0. 1.72 0. 0.
time (sec) N/A 0.088 0.049 0.059 0. 1.826 0. 0.
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.019 5.716 0.04 0. 0. 0. 0.
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 1.115 0.048 0. 0. 0. 0.
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 79 454 0 149 0 0
normalized size 1 1. 1. 5.75 0. 1.89 0. 0.
time (sec) N/A 0.077 0.019 0.119 0. 1.811 0. 0.
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 75 353 0 149 0 0
normalized size 1 1. 1. 4.71 0. 1.99 0. 0.
time (sec) N/A 0.073 0.016 0.063 0. 1.712 0. 0.
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 79 290 0 149 0 0
normalized size 1 1. 1. 3.67 0. 1.89 0. 0.
time (sec) N/A 0.071 0.016 0.063 0. 1.719 0. 0.
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 75 378 0 132 0 0
normalized size 1 1. 1. 5.04 0. 1.76 0. 0.
time (sec) N/A 0.066 0.014 0.062 0. 1.79 0. 0.
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 63 426 0 138 0 0
normalized size 1 1. 0.91 6.17 0. 2. 0. 0.
time (sec) N/A 0.068 0.02 0.065 0. 1.693 0. 0.
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 65 529 0 149 0 0
normalized size 1 1. 0.92 7.45 0. 2.1 0. 0.
time (sec) N/A 0.071 0.019 0.072 0. 1.82 0. 0.
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 79 599 0 149 0 0
normalized size 1 1. 1. 7.58 0. 1.89 0. 0.
time (sec) N/A 0.072 0.016 0.079 0. 1.766 0. 0.
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-1) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 118 0 0 235 0 0
normalized size 1 1. 1.22 0. 0. 2.42 0. 0.
time (sec) N/A 0.162 0.329 0.072 0. 1.832 0. 0.
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 120 0 0 235 0 0
normalized size 1 1. 1.17 0. 0. 2.28 0. 0.
time (sec) N/A 0.143 0.311 0.069 0. 1.773 0. 0.
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 116 0 0 235 0 0
normalized size 1 1. 1.17 0. 0. 2.37 0. 0.
time (sec) N/A 0.143 0.305 0.125 0. 1.743 0. 0.
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 120 0 0 203 0 0
normalized size 1 1. 1.17 0. 0. 1.97 0. 0.
time (sec) N/A 0.134 0.269 0.084 0. 1.759 0. 0.
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 99 0 0 193 0 0
normalized size 1 1. 1.19 0. 0. 2.33 0. 0.
time (sec) N/A 0.13 0.231 0.113 0. 1.747 0. 0.
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 117 0 0 227 0 0
normalized size 1 1. 1.16 0. 0. 2.25 0. 0.
time (sec) N/A 0.137 0.311 0.07 0. 1.737 0. 0.
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 121 0 0 235 0 0
normalized size 1 1. 1.25 0. 0. 2.42 0. 0.
time (sec) N/A 0.173 0.364 0.072 0. 1.811 0. 0.
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 29 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.123 0.487 0.092 0. 0. 0. 0.
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 87 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.209 0.556 0.082 0. 0. 0. 0.
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 29 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.106 0.447 0.085 0. 0. 0. 0.
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 57 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.133 2.228 0.089 0. 0. 0. 0.
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 123 482 624 362 264 212
normalized size 1 1. 1.37 5.36 6.93 4.02 2.93 2.36
time (sec) N/A 0.118 0.843 0.016 1.036 1.791 1.865 1.167
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 81 241 323 228 151 128
normalized size 1 1. 1.19 3.54 4.75 3.35 2.22 1.88
time (sec) N/A 0.088 0.499 0.012 1.013 1.743 0.864 1.124
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 51 90 126 126 68 63
normalized size 1 1. 1.13 2. 2.8 2.8 1.51 1.4
time (sec) N/A 0.042 0.356 0.011 0.969 1.77 0.344 1.096
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 54 96 231 234 0 961
normalized size 1 1. 0.84 1.5 3.61 3.66 0. 15.02
time (sec) N/A 0.15 0.294 0.014 1.207 1.661 0. 1.257
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 110 141 265 332 0 4251
normalized size 1 1. 1.25 1.6 3.01 3.77 0. 48.31
time (sec) N/A 0.214 0.493 0.014 1.306 1.829 0. 1.341
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 104 177 358 517 0 8312
normalized size 1 1. 0.85 1.44 2.91 4.2 0. 67.58
time (sec) N/A 0.257 0.672 0.017 1.442 1.753 0. 1.519
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 216 1135 1308 752 779 458
normalized size 1 1. 0.91 4.79 5.52 3.17 3.29 1.93
time (sec) N/A 0.295 1.343 0.022 1.108 1.885 4.784 1.157
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 182 567 686 447 456 279
normalized size 1 1. 1.08 3.38 4.08 2.66 2.71 1.66
time (sec) N/A 0.192 0.614 0.02 1.022 1.785 2.151 1.144
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 80 219 277 228 219 144
normalized size 1 1. 0.68 1.86 2.35 1.93 1.86 1.22
time (sec) N/A 0.104 1.048 0.02 0.996 1.737 0.844 1.11
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 114 192 452 468 0 9516
normalized size 1 1. 0.79 1.32 3.12 3.23 0. 65.63
time (sec) N/A 0.371 0.277 0.021 1.313 1.758 0. 1.624
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 206 274 500 682 0 0
normalized size 1 1. 1.27 1.69 3.09 4.21 0. 0.
time (sec) N/A 0.333 0.587 0.026 1.514 2.013 0. 0.
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 353 347 641 1049 0 0
normalized size 1 1. 1.57 1.54 2.85 4.66 0. 0.
time (sec) N/A 0.506 0.901 0.023 1.951 2.071 0. 0.
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 126 484 1315 2134 0 0
normalized size 1 1. 0.85 3.27 8.89 14.42 0. 0.
time (sec) N/A 0.306 1.038 0.141 1.477 2.022 0. 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 94 254 421 1196 0 0
normalized size 1 1. 0.83 2.25 3.73 10.58 0. 0.
time (sec) N/A 0.218 0.654 0.07 1.353 1.814 0. 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 51 122 228 251 272 940
normalized size 1 1. 0.85 2.03 3.8 4.18 4.53 15.67
time (sec) N/A 0.064 0.15 0.043 0.985 1.77 1.125 1.241
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 4.765 0.133 0. 0. 0. 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.065 4.619 0.325 0. 0. 0. 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 309 309 257 807 4834 3872 0 0
normalized size 1 1. 0.83 2.61 15.64 12.53 0. 0.
time (sec) N/A 0.377 1.904 0.641 4.041 2.695 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 175 421 1123 2074 0 0
normalized size 1 1. 0.72 1.73 4.62 8.53 0. 0.
time (sec) N/A 0.287 2.202 0.495 2.214 2.064 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 225 233 1229 495 1246 4177
normalized size 1 1. 1.52 1.57 8.3 3.34 8.42 28.22
time (sec) N/A 0.089 1.082 0.197 1.057 1.683 2.561 1.833
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.056 13.946 3.104 0. 0. 0. 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.052 14.801 4.749 0. 0. 0. 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 124 484 1326 2133 0 0
normalized size 1 1. 0.84 3.29 9.02 14.51 0. 0.
time (sec) N/A 0.295 1.129 0.132 1.496 1.976 0. 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 92 254 427 1195 0 0
normalized size 1 1. 0.82 2.27 3.81 10.67 0. 0.
time (sec) N/A 0.212 0.723 0.087 1.351 1.878 0. 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 47 123 228 251 272 941
normalized size 1 1. 0.8 2.08 3.86 4.25 4.61 15.95
time (sec) N/A 0.066 0.151 0.06 1.01 1.632 1.105 1.289
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.075 4.902 0.136 0. 0. 0. 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 4.718 0.322 0. 0. 0. 0.
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 108 145 0 0 0 0
normalized size 1 1. 0.9 1.21 0. 0. 0. 0.
time (sec) N/A 0.141 0.288 0.103 0. 0. 0. 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 92 119 0 0 0 0
normalized size 1 1. 0.94 1.21 0. 0. 0. 0.
time (sec) N/A 0.103 0.21 0.054 0. 0. 0. 0.
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 76 93 0 0 0 0
normalized size 1 1. 1.31 1.6 0. 0. 0. 0.
time (sec) N/A 0.068 0.154 0.053 0. 0. 0. 0.
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 83 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.139 0.162 0.229 0. 0. 0. 0.
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 117 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.153 0.3 0.056 0. 0. 0. 0.
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 153 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.193 0.327 0.054 0. 0. 0. 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 337 337 231 0 0 0 0 0
normalized size 1 1. 0.69 0. 0. 0. 0. 0.
time (sec) N/A 0.23 1.113 0.064 0. 0. 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 271 271 191 0 0 0 0 0
normalized size 1 1. 0.7 0. 0. 0. 0. 0.
time (sec) N/A 0.179 0.822 0.039 0. 0. 0. 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 113 0 0 0 0 0
normalized size 1 1. 0.68 0. 0. 0. 0. 0.
time (sec) N/A 0.091 0.681 0.036 0. 0. 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 127 0 0 0 0 0
normalized size 1 1. 0.57 0. 0. 0. 0. 0.
time (sec) N/A 0.276 0.662 0.036 0. 0. 0. 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 263 263 226 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.3 0.916 0.037 0. 0. 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 332 332 295 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.376 0.876 0.036 0. 0. 0. 0.
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 417 417 306 0 0 0 0 0
normalized size 1 1. 0.73 0. 0. 0. 0. 0.
time (sec) N/A 0.249 0.766 0.178 0. 0. 0. 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 293 293 245 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.183 0.594 0.064 0. 0. 0. 0.
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 231 0 0 0 0 0
normalized size 1 1. 1.32 0. 0. 0. 0. 0.
time (sec) N/A 0.092 1.524 0.06 0. 0. 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.074 3.04 0.046 0. 0. 0. 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.074 0.747 0.049 0. 0. 0. 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 691 691 455 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0.
time (sec) N/A 0.354 2.807 0.036 0. 0. 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 435 435 352 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.235 2.031 0.039 0. 0. 0. 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 249 249 308 0 0 0 0 0
normalized size 1 1. 1.24 0. 0. 0. 0. 0.
time (sec) N/A 0.128 2.545 0.038 0. 0. 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.083 32.865 0.039 0. 0. 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.08 17.471 0.036 0. 0. 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.069 2.97 0.073 0. 0. 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.048 1.096 0.329 0. 0. 0. 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 449 449 376 0 0 934 0 0
normalized size 1 1. 0.84 0. 0. 2.08 0. 0.
time (sec) N/A 0.605 0.845 0.279 0. 2.135 0. 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 260 0 0 636 0 0
normalized size 1 1. 0.87 0. 0. 2.13 0. 0.
time (sec) N/A 0.369 0.285 0.193 0. 1.979 0. 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 199 0 0 319 0 0
normalized size 1 1. 1.34 0. 0. 2.16 0. 0.
time (sec) N/A 0.144 2.714 0.093 0. 1.899 0. 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.881 0.1 0. 0. 0. 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.053 9.125 0.137 0. 0. 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 124 482 624 362 264 212
normalized size 1 1. 1.38 5.36 6.93 4.02 2.93 2.36
time (sec) N/A 0.123 0.432 0.011 1.05 1.697 1.754 1.463
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 84 241 323 228 151 128
normalized size 1 1. 1.24 3.54 4.75 3.35 2.22 1.88
time (sec) N/A 0.086 0.314 0.008 0.994 1.69 0.814 1.499
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 43 90 126 126 68 63
normalized size 1 1. 0.96 2. 2.8 2.8 1.51 1.4
time (sec) N/A 0.042 0.109 0.006 0.973 1.627 0.343 1.751
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 57 96 231 234 0 961
normalized size 1 1. 0.89 1.5 3.61 3.66 0. 15.02
time (sec) N/A 0.124 0.15 0.01 1.238 1.77 0. 1.924
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 72 141 265 332 0 4251
normalized size 1 1. 0.82 1.6 3.01 3.77 0. 48.31
time (sec) N/A 0.155 0.349 0.012 1.28 1.832 0. 1.472
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 94 177 358 517 0 8312
normalized size 1 1. 0.76 1.44 2.91 4.2 0. 67.58
time (sec) N/A 0.19 0.814 0.01 1.466 2.163 0. 1.466
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 250 232 1125 1295 805 779 501
normalized size 1 1. 0.93 4.5 5.18 3.22 3.12 2.
time (sec) N/A 0.267 1.298 0.016 1.135 2.175 4.599 1.121
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 249 561 678 495 456 309
normalized size 1 1. 1.37 3.08 3.73 2.72 2.51 1.7
time (sec) N/A 0.192 0.726 0.013 1.05 2.084 2.068 1.126
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 96 216 273 252 219 161
normalized size 1 1. 0.83 1.86 2.35 2.17 1.89 1.39
time (sec) N/A 0.098 0.673 0.013 0.995 2.037 0.846 1.101
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 134 213 451 482 0 9986
normalized size 1 1. 0.86 1.37 2.89 3.09 0. 64.01
time (sec) N/A 0.324 0.292 0.019 1.288 2.197 0. 1.602
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 232 301 498 693 0 0
normalized size 1 1. 1.27 1.64 2.72 3.79 0. 0.
time (sec) N/A 0.334 0.596 0.018 1.501 2.264 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 395 374 640 1057 0 0
normalized size 1 1. 1.61 1.53 2.61 4.31 0. 0.
time (sec) N/A 0.424 1.229 0.023 1.877 2.509 0. 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 495 495 401 0 0 5222 0 0
normalized size 1 1. 0.81 0. 0. 10.55 0. 0.
time (sec) N/A 0.969 0.235 0.401 0. 3.675 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 367 367 296 0 0 3729 0 0
normalized size 1 1. 0.81 0. 0. 10.16 0. 0.
time (sec) N/A 0.822 0.191 0.283 0. 3.143 0. 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 182 492 0 2461 0 0
normalized size 1 1. 0.78 2.1 0. 10.52 0. 0.
time (sec) N/A 0.453 0.041 0.104 0. 3.589 0. 0.
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.402 0.063 0. 0. 0. 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.333 0.073 0. 0. 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 925 925 742 0 0 11266 0 0
normalized size 1 1. 0.8 0. 0. 12.18 0. 0.
time (sec) N/A 1.655 3.228 1.56 0. 7.286 0. 0.
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 671 671 530 0 0 7017 0 0
normalized size 1 1. 0.79 0. 0. 10.46 0. 0.
time (sec) N/A 1.205 1.675 1.273 0. 4.367 0. 0.
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 305 305 236 641 0 3549 0 0
normalized size 1 1. 0.77 2.1 0. 11.64 0. 0.
time (sec) N/A 0.55 0.988 0.789 0. 3.468 0. 0.
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.059 32.793 3.118 0. 0. 0. 0.
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.057 94.238 5.75 0. 0. 0. 0.
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.933 0.375 0. 0. 0. 0.
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 607 607 415 0 0 1045 0 0
normalized size 1 1. 0.68 0. 0. 1.72 0. 0.
time (sec) N/A 0.764 5.657 0.285 0. 2.171 0. 0.
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 318 318 268 0 0 662 0 0
normalized size 1 1. 0.84 0. 0. 2.08 0. 0.
time (sec) N/A 0.392 3.932 0.198 0. 1.972 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 138 0 0 319 0 0
normalized size 1 1. 0.93 0. 0. 2.16 0. 0.
time (sec) N/A 0.149 0.188 0.073 0. 1.827 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.387 0.078 0. 0. 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 3.429 0.189 0. 0. 0. 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 261 526 1766 2414 0 0
normalized size 1 1. 1.59 3.21 10.77 14.72 0. 0.
time (sec) N/A 0.34 1.83 0.182 2.087 2.249 0. 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 213 282 545 1378 0 0
normalized size 1 1. 1.65 2.19 4.22 10.68 0. 0.
time (sec) N/A 0.257 1.252 0.108 1.896 1.986 0. 0.
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 199 446 369 363 466 1042
normalized size 1 1. 2.62 5.87 4.86 4.78 6.13 13.71
time (sec) N/A 0.095 0.497 0.076 1.472 1.792 1.954 1.53
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 72 41 68 142 90 43
normalized size 1 1. 2.57 1.46 2.43 5.07 3.21 1.54
time (sec) N/A 0.038 0.108 0.023 1.424 1.74 1.55 1.125
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.048 8.577 0.173 0. 0. 0. 0.
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.047 8.375 0.238 0. 0. 0. 0.
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 1314 748 6209 2984 0 0
normalized size 1 1. 5.32 3.03 25.14 12.08 0. 0.
time (sec) N/A 0.472 3.001 0.296 3.069 2.598 0. 0.
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 295 408 815 1674 0 0
normalized size 1 1. 1.57 2.17 4.34 8.9 0. 0.
time (sec) N/A 0.348 2.568 0.336 2.458 2.183 0. 0.
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 236 216 2379 481 2086 0
normalized size 1 1. 2.13 1.95 21.43 4.33 18.79 0.
time (sec) N/A 0.16 0.787 0.116 1.578 1.727 4.422 0.
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 85 64 174 186 478 104
normalized size 1 1. 1.89 1.42 3.87 4.13 10.62 2.31
time (sec) N/A 0.082 0.139 0.026 1.457 1.661 3.377 1.101
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.072 8.563 0.369 0. 0. 0. 0.
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.069 9.674 0.639 0. 0. 0. 0.
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 382 382 538 974 0 3534 0 0
normalized size 1 1. 1.41 2.55 0. 9.25 0. 0.
time (sec) N/A 0.621 2.628 0.18 0. 2.783 0. 0.
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 278 278 830 538 0 1960 0 0
normalized size 1 1. 2.99 1.94 0. 7.05 0. 0.
time (sec) N/A 0.493 2.867 0.447 0. 2.322 0. 0.
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 298 662 0 625 4869 0
normalized size 1 1. 1.89 4.19 0. 3.96 30.82 0.
time (sec) N/A 0.22 1.469 0.149 0. 1.884 9.982 0.
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 117 163 286 247 1127 123
normalized size 1 1. 1.56 2.17 3.81 3.29 15.03 1.64
time (sec) N/A 0.062 0.198 0.027 1.468 1.792 7.614 1.101
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.069 6.205 0.657 0. 0. 0. 0.
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.069 5.845 0.973 0. 0. 0. 0.
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 352 352 443 1151 3750 6904 0 0
normalized size 1 1. 1.26 3.27 10.65 19.61 0. 0.
time (sec) N/A 0.469 2.569 0.285 3.41 3.22 0. 0.
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 249 249 330 643 1904 4084 0 0
normalized size 1 1. 1.33 2.58 7.65 16.4 0. 0.
time (sec) N/A 0.33 2.03 0.137 1.812 2.618 0. 0.
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 300 245 698 1654 0 0
normalized size 1 1. 2.24 1.83 5.21 12.34 0. 0.
time (sec) N/A 0.157 1.064 0.144 1.453 2.101 0. 0.
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 48 40 69 293 0 51
normalized size 1 1. 1.26 1.05 1.82 7.71 0. 1.34
time (sec) N/A 0.054 0.066 0.036 1.005 1.604 0. 1.18
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.06 10.959 3.595 0. 0. 0. 0.
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 12.578 7.668 0. 0. 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 463 463 1013 1705 10242 10928 0 0
normalized size 1 1. 2.19 3.68 22.12 23.6 0. 0.
time (sec) N/A 0.776 10.745 0.307 15.895 3.97 0. 0.
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 327 693 942 5003 6126 0 0
normalized size 1 1. 2.12 2.88 15.3 18.73 0. 0.
time (sec) N/A 0.509 8.34 0.187 4.048 2.812 0. 0.
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 396 351 1727 2284 0 0
normalized size 1 1. 2.34 2.08 10.22 13.51 0. 0.
time (sec) N/A 0.189 1.706 0.185 2.008 2.343 0. 0.
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 57 77 151 433 0 119
normalized size 1 1. 1.12 1.51 2.96 8.49 0. 2.33
time (sec) N/A 0.077 0.186 0.042 0.991 1.843 0. 1.174
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.069 23.375 3.372 0. 0. 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.068 43.655 7.221 0. 0. 0. 0.
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) C F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 600 600 1485 2257 0 17747 0 0
normalized size 1 1. 2.48 3.76 0. 29.58 0. 0.
time (sec) N/A 1.108 31.369 0.286 0. 5.571 0. 0.
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 392 392 951 1215 8266 9528 0 0
normalized size 1 1. 2.43 3.1 21.09 24.31 0. 0.
time (sec) N/A 0.722 17.498 0.231 13.379 3.546 0. 0.
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 216 216 484 468 2817 3522 0 0
normalized size 1 1. 2.24 2.17 13.04 16.31 0. 0.
time (sec) N/A 0.283 3.575 0.227 4.081 2.375 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 85 115 212 636 0 151
normalized size 1 1. 1.04 1.4 2.59 7.76 0. 1.84
time (sec) N/A 0.09 0.511 0.05 0.985 1.811 0. 1.138
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.067 73.533 7.305 0. 0. 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.066 150.7 9.902 0. 0. 0. 0.
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.062 7.328 0.325 0. 0. 0. 0.
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 1.739 0.134 0. 0. 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.763 0.105 0. 0. 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.041 5.396 0.083 0. 0. 0. 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.065 9.897 0.106 0. 0. 0. 0.
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 544 544 956 0 0 5493 0 0
normalized size 1 1. 1.76 0. 0. 10.1 0. 0.
time (sec) N/A 0.968 3.295 0.843 0. 3.319 0. 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 408 408 445 0 0 3943 0 0
normalized size 1 1. 1.09 0. 0. 9.66 0. 0.
time (sec) N/A 0.859 2.056 0.664 0. 3.06 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 267 267 299 548 0 2583 0 0
normalized size 1 1. 1.12 2.05 0. 9.67 0. 0.
time (sec) N/A 0.585 1.587 0.141 0. 3.139 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 59 70 0 510 0 104
normalized size 1 1. 1.04 1.23 0. 8.95 0. 1.82
time (sec) N/A 0.068 0.11 0. 0. 1.892 0. 1.103
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 643 643 1020 0 0 6095 0 0
normalized size 1 1. 1.59 0. 0. 9.48 0. 0.
time (sec) N/A 1.176 6.673 0.894 0. 4.403 0. 0.
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 479 479 531 0 0 4311 0 0
normalized size 1 1. 1.11 0. 0. 9. 0. 0.
time (sec) N/A 1.038 3.187 0.976 0. 3.451 0. 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 311 311 709 625 0 2770 0 0
normalized size 1 1. 2.28 2.01 0. 8.91 0. 0.
time (sec) N/A 0.551 6.734 0.296 0. 3.259 0. 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 71 96 0 609 0 134
normalized size 1 1. 0.95 1.28 0. 8.12 0. 1.79
time (sec) N/A 0.106 0.18 0.027 0. 1.875 0. 1.121
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 802 802 1923 0 0 6724 0 0
normalized size 1 1. 2.4 0. 0. 8.38 0. 0.
time (sec) N/A 1.341 5.506 0.207 0. 5.399 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 592 592 1166 0 0 4691 0 0
normalized size 1 1. 1.97 0. 0. 7.92 0. 0.
time (sec) N/A 1.18 4.439 0.388 0. 4.033 0. 0.
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 382 382 752 710 0 2938 0 0
normalized size 1 1. 1.97 1.86 0. 7.69 0. 0.
time (sec) N/A 0.666 8.038 0.43 0. 3.596 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 97 216 0 768 0 204
normalized size 1 1. 0.91 2.02 0. 7.18 0. 1.91
time (sec) N/A 0.186 0.247 0.028 0. 2.272 0. 1.12
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 732 732 894 0 0 8263 0 0
normalized size 1 1. 1.22 0. 0. 11.29 0. 0.
time (sec) N/A 1.117 2.603 0.864 0. 4.776 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 528 528 573 0 0 5696 0 0
normalized size 1 1. 1.09 0. 0. 10.79 0. 0.
time (sec) N/A 0.946 1.69 0.642 0. 3.985 0. 0.
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 325 325 764 660 0 3510 0 0
normalized size 1 1. 2.35 2.03 0. 10.8 0. 0.
time (sec) N/A 0.615 6.392 0.169 0. 3.939 0. 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 77 69 0 698 0 112
normalized size 1 1. 1.15 1.03 0. 10.42 0. 1.67
time (sec) N/A 0.083 0.07 0.001 0. 2.755 0. 1.495
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 882 882 1680 0 0 10330 0 0
normalized size 1 1. 1.9 0. 0. 11.71 0. 0.
time (sec) N/A 1.551 43.034 2.592 0. 7.455 0. 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 639 639 911 0 0 6947 0 0
normalized size 1 1. 1.43 0. 0. 10.87 0. 0.
time (sec) N/A 1.206 11.921 2.214 0. 4.929 0. 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 370 370 933 766 0 4132 0 0
normalized size 1 1. 2.52 2.07 0. 11.17 0. 0.
time (sec) N/A 0.616 11.258 0.194 0. 4.488 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 111 109 0 944 0 176
normalized size 1 1. 1.34 1.31 0. 11.37 0. 2.12
time (sec) N/A 0.128 0.445 0.001 0. 2.705 0. 1.269
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.068 7.663 0.296 0. 0. 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.798 0.154 0. 0. 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.054 0.306 0.067 0. 0. 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.042 36.304 0.079 0. 0. 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.068 6.386 0.108 0. 0. 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 574 574 2141 750 0 3528 0 0
normalized size 1 1. 3.73 1.31 0. 6.15 0. 0.
time (sec) N/A 1.617 15.405 0.917 0. 4.064 0. 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1106 1106 3757 0 0 7002 0 0
normalized size 1 1. 3.4 0. 0. 6.33 0. 0.
time (sec) N/A 2.557 24.825 1.519 0. 4.888 0. 0.
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1512 1512 5444 0 0 11271 0 0
normalized size 1 1. 3.6 0. 0. 7.45 0. 0.
time (sec) N/A 3.066 21.997 1.612 0. 7.113 0. 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 751 751 2408 1084 0 5449 0 0
normalized size 1 1. 3.21 1.44 0. 7.26 0. 0.
time (sec) N/A 2.955 15.461 1.699 0. 5.517 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1584 1584 13567 0 0 12407 0 0
normalized size 1 1. 8.57 0. 0. 7.83 0. 0.
time (sec) N/A 5.943 25.016 3.147 0. 7.469 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 2348 2348 11204 0 0 22152 0 0
normalized size 1 1. 4.77 0. 0. 9.43 0. 0.
time (sec) N/A 8.374 22.235 1.711 0. 13.021 0. 0.
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 276 679 689 1189 0 0
normalized size 1 1. 1.83 4.5 4.56 7.87 0. 0.
time (sec) N/A 0.234 1.407 0.184 1.395 2.03 0. 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 221 421 396 772 0 0
normalized size 1 1. 1.94 3.69 3.47 6.77 0. 0.
time (sec) N/A 0.211 0.99 0.131 1.674 1.796 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 246 203 157 425 0 0
normalized size 1 1. 3.11 2.57 1.99 5.38 0. 0.
time (sec) N/A 0.125 0.507 0.148 1.365 1.949 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 19 24 39 24 26
normalized size 1 1. 1. 1.19 1.5 2.44 1.5 1.62
time (sec) N/A 0.025 0.011 0.012 0.996 1.718 0.491 1.149
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.047 3.064 0.181 0. 0. 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.047 3.91 0.217 0. 0. 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 102 436 721 329 1232 0
normalized size 1 1. 1.03 4.4 7.28 3.32 12.44 0.
time (sec) N/A 0.144 0.643 0.066 1.634 1.668 12.786 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 74 215 417 209 770 0
normalized size 1 1. 0.99 2.87 5.56 2.79 10.27 0.
time (sec) N/A 0.115 0.423 0.059 1.563 1.756 8.523 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 53 78 204 117 439 0
normalized size 1 1. 1.04 1.53 4. 2.29 8.61 0.
time (sec) N/A 0.064 0.505 0.058 1.523 1.602 5.38 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 97 43 70 38 119 46
normalized size 1 1. 5.11 2.26 3.68 2. 6.26 2.42
time (sec) N/A 0.042 0.139 0.048 1.592 1.598 3.262 1.117
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 58 102 220 230 0 967
normalized size 1 1. 0.81 1.42 3.06 3.19 0. 13.43
time (sec) N/A 0.201 0.275 0.054 1.321 1.736 0. 1.359
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 80 132 232 315 0 0
normalized size 1 1. 0.84 1.39 2.44 3.32 0. 0.
time (sec) N/A 0.2 0.416 0.053 1.417 1.611 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 132 737 772 570 0 0
normalized size 1 1. 0.6 3.37 3.53 2.6 0. 0.
time (sec) N/A 0.243 1.145 0.063 1.196 1.697 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 95 339 390 327 1705 0
normalized size 1 1. 0.59 2.11 2.42 2.03 10.59 0.
time (sec) N/A 0.173 0.796 0.062 1.095 1.726 17.459 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 52 114 154 167 787 0
normalized size 1 1. 0.57 1.25 1.69 1.84 8.65 0.
time (sec) N/A 0.091 0.886 0.054 1.036 1.633 10.783 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 24 28 34 61 158 34
normalized size 1 1. 0.75 0.88 1.06 1.91 4.94 1.06
time (sec) N/A 0.046 0.042 0.016 1.01 1.636 7.359 1.147
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 105 161 378 412 0 6518
normalized size 1 1. 0.82 1.26 2.95 3.22 0. 50.92
time (sec) N/A 0.296 0.386 0.051 1.407 1.72 0. 2.105
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 203 230 414 610 0 0
normalized size 1 1. 1.16 1.31 2.37 3.49 0. 0.
time (sec) N/A 0.334 0.572 0.049 1.619 1.926 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 502 502 865 1265 5164 4439 0 0
normalized size 1 1. 1.72 2.52 10.29 8.84 0. 0.
time (sec) N/A 0.488 8.759 0.26 5.559 3.157 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 278 278 670 677 2596 2646 0 0
normalized size 1 1. 2.41 2.44 9.34 9.52 0. 0.
time (sec) N/A 0.267 8.018 0.181 2.286 2.646 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 655 303 986 1339 0 0
normalized size 1 1. 3.81 1.76 5.73 7.78 0. 0.
time (sec) N/A 0.139 2.933 0.214 1.625 2.111 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 30 54 63 163 0 78
normalized size 1 1. 0.81 1.46 1.7 4.41 0. 2.11
time (sec) N/A 0.051 0.037 0.052 0.982 1.699 0. 1.208
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.045 13.839 1.774 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.046 22.11 3.25 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 475 475 1117 1124 6893 3767 0 0
normalized size 1 1. 2.35 2.37 14.51 7.93 0. 0.
time (sec) N/A 0.594 8.759 0.338 6.673 3.117 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 343 343 637 573 1800 2186 0 0
normalized size 1 1. 1.86 1.67 5.25 6.37 0. 0.
time (sec) N/A 0.378 6.61 0.236 2.926 2.357 0. 0.
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 231 466 1505 417 0 8986
normalized size 1 1. 1.52 3.07 9.9 2.74 0. 59.12
time (sec) N/A 0.145 1.052 0.172 1.134 1.738 0. 3.821
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 45 70 174 131 0 90
normalized size 1 1. 1.07 1.67 4.14 3.12 0. 2.14
time (sec) N/A 0.051 0.052 0.05 1.004 1.603 0. 1.171
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.066 18.86 3.027 0. 0. 0. 0.
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.067 24.846 5.532 0. 0. 0. 0.
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 698 698 1901 2161 0 6093 0 0
normalized size 1 1. 2.72 3.1 0. 8.73 0. 0.
time (sec) N/A 0.735 9.986 0.325 0. 4.698 0. 0.
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 431 431 1468 1119 7104 3775 0 0
normalized size 1 1. 3.41 2.6 16.48 8.76 0. 0.
time (sec) N/A 0.398 8.926 0.361 40.691 3.19 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 241 241 1171 483 2665 2080 0 0
normalized size 1 1. 4.86 2. 11.06 8.63 0. 0.
time (sec) N/A 0.191 6.595 0.378 4.788 2.483 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 75 90 123 336 0 130
normalized size 1 1. 0.97 1.17 1.6 4.36 0. 1.69
time (sec) N/A 0.08 0.103 0.058 0.966 1.748 0. 1.235
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.072 34.35 5.279 0. 0. 0. 0.
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.072 51.992 1.749 0. 0. 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 449 449 405 0 0 861 0 0
normalized size 1 1. 0.9 0. 0. 1.92 0. 0.
time (sec) N/A 0.643 4.717 0.199 0. 1.99 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 277 277 253 0 0 468 0 0
normalized size 1 1. 0.91 0. 0. 1.69 0. 0.
time (sec) N/A 0.319 2.511 0.19 0. 2. 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 220 0 0 306 0 0
normalized size 1 1. 1.43 0. 0. 1.99 0. 0.
time (sec) N/A 0.177 0.984 0.116 0. 1.81 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.044 7.704 0.088 0. 0. 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.333 0. 0. 0. 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.044 9.267 0.126 0. 0. 0. 0.
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.074 13.544 0.165 0. 0. 0. 0.
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 432 432 410 0 0 4316 0 0
normalized size 1 1. 0.95 0. 0. 9.99 0. 0.
time (sec) N/A 0.608 0.186 0.921 0. 2.985 0. 0.
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 320 320 302 0 0 3082 0 0
normalized size 1 1. 0.94 0. 0. 9.63 0. 0.
time (sec) N/A 0.513 0.172 0.716 0. 2.673 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 197 1006 0 1986 0 0
normalized size 1 1. 0.93 4.75 0. 9.37 0. 0.
time (sec) N/A 0.285 0.049 0.162 0. 2.876 0. 0.
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 19 24 42 41 26
normalized size 1 1. 1. 1.06 1.33 2.33 2.28 1.44
time (sec) N/A 0.026 0.007 0. 0.953 1.574 0.58 1.216
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 618 618 1025 0 0 5505 0 0
normalized size 1 1. 1.66 0. 0. 8.91 0. 0.
time (sec) N/A 1.068 3.474 1.177 0. 3.825 0. 0.
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 460 460 536 0 0 3931 0 0
normalized size 1 1. 1.17 0. 0. 8.55 0. 0.
time (sec) N/A 0.929 2.623 0.956 0. 3.145 0. 0.
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 298 298 716 1123 0 2564 0 0
normalized size 1 1. 2.4 3.77 0. 8.6 0. 0.
time (sec) N/A 0.535 6.919 0.337 0. 3.222 0. 0.
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 398 142 0 498 0 128
normalized size 1 1. 5.69 2.03 0. 7.11 0. 1.83
time (sec) N/A 0.116 2.123 0.001 0. 1.852 0. 1.149
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 737 737 2452 0 0 6086 0 0
normalized size 1 1. 3.33 0. 0. 8.26 0. 0.
time (sec) N/A 0.881 10.121 1.418 0. 4.347 0. 0.
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 548 548 2397 0 0 4139 0 0
normalized size 1 1. 4.37 0. 0. 7.55 0. 0.
time (sec) N/A 0.733 5.02 1.442 0. 3.335 0. 0.
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 351 351 2165 1750 0 2533 0 0
normalized size 1 1. 6.17 4.99 0. 7.22 0. 0.
time (sec) N/A 0.409 14.457 0.773 0. 3.219 0. 0.
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 54 72 74 128 0 76
normalized size 1 1. 0.89 1.18 1.21 2.1 0. 1.25
time (sec) N/A 0.068 0.077 0.001 0.946 1.737 0. 1.185
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 937 937 2496 0 0 7549 0 0
normalized size 1 1. 2.66 0. 0. 8.06 0. 0.
time (sec) N/A 1.618 9.836 0.914 0. 3.97 0. 0.
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 667 667 1561 0 0 5157 0 0
normalized size 1 1. 2.34 0. 0. 7.73 0. 0.
time (sec) N/A 1.143 5.548 0.7 0. 3.329 0. 0.
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 413 413 2743 861 0 3094 0 0
normalized size 1 1. 6.64 2.08 0. 7.49 0. 0.
time (sec) N/A 0.635 16.59 0.254 0. 3.779 0. 0.
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 64 76 86 158 0 96
normalized size 1 1. 0.85 1.01 1.15 2.11 0. 1.28
time (sec) N/A 0.081 0.061 0.002 0.946 2.256 0. 1.192
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 923 923 1438 0 0 9469 0 0
normalized size 1 1. 1.56 0. 0. 10.26 0. 0.
time (sec) N/A 1.937 9.375 2.507 0. 7.736 0. 0.
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 659 659 1122 0 0 6276 0 0
normalized size 1 1. 1.7 0. 0. 9.52 0. 0.
time (sec) N/A 1.434 7.901 3.475 0. 5.222 0. 0.
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 349 349 842 1542 0 3087 0 0
normalized size 1 1. 2.41 4.42 0. 8.85 0. 0.
time (sec) N/A 0.795 9.709 0.359 0. 3.955 0. 0.
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 152 117 0 684 0 144
normalized size 1 1. 1.81 1.39 0. 8.14 0. 1.71
time (sec) N/A 0.101 0.263 0.002 0. 2.182 0. 1.657
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.071 4.552 0.243 0. 0. 0. 0.
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.046 3.3 0.151 0. 0. 0. 0.
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.11 0. 0. 0. 0. 0.
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 28 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.044 139.158 0.079 0. 0. 0. 0.
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.067 6.208 0.129 0. 0. 0. 0.
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 73 194 0 736 0 0
normalized size 1 1. 0.95 2.52 0. 9.56 0. 0.
time (sec) N/A 0.072 0.446 0.889 0. 2.076 0. 0.
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 280 280 311 606 0 3263 0 0
normalized size 1 1. 1.11 2.16 0. 11.65 0. 0.
time (sec) N/A 0.528 3.089 0.892 0. 3.851 0. 0.
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 418 418 446 0 0 5299 0 0
normalized size 1 1. 1.07 0. 0. 12.68 0. 0.
time (sec) N/A 0.885 2.373 1.598 0. 3.71 0. 0.
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 112 349 0 1364 0 0
normalized size 1 1. 0.97 3.01 0. 11.76 0. 0.
time (sec) N/A 0.097 1.115 1.747 0. 2.033 0. 0.
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 357 357 1104 946 0 5252 0 0
normalized size 1 1. 3.09 2.65 0. 14.71 0. 0.
time (sec) N/A 0.611 14.813 1.967 0. 4.332 0. 0.
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 753 753 2311 0 0 10630 0 0
normalized size 1 1. 3.07 0. 0. 14.12 0. 0.
time (sec) N/A 1.274 19.517 1.497 0. 6.018 0. 0.
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 765 765 1194 0 0 7471 0 0
normalized size 1 1. 1.56 0. 0. 9.77 0. 0.
time (sec) N/A 1.426 2.241 2.293 0. 3.967 0. 0.
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 557 557 607 0 0 5239 0 0
normalized size 1 1. 1.09 0. 0. 9.41 0. 0.
time (sec) N/A 1.19 1.75 1.974 0. 3.303 0. 0.
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 351 351 812 1207 0 3267 0 0
normalized size 1 1. 2.31 3.44 0. 9.31 0. 0.
time (sec) N/A 0.66 6.798 0.306 0. 3.314 0. 0.
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 90 137 0 640 0 127
normalized size 1 1. 1.2 1.83 0. 8.53 0. 1.69
time (sec) N/A 0.184 0.112 0.003 0. 2.053 0. 2.167
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 763 763 4014 0 0 7961 0 0
normalized size 1 1. 5.26 0. 0. 10.43 0. 0.
time (sec) N/A 1.359 10.63 4.033 0. 5.837 0. 0.
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 566 566 1834 0 0 5391 0 0
normalized size 1 1. 3.24 0. 0. 9.52 0. 0.
time (sec) N/A 1.122 9.363 3.634 0. 3.794 0. 0.
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 379 379 2209 1721 0 3194 0 0
normalized size 1 1. 5.83 4.54 0. 8.43 0. 0.
time (sec) N/A 0.631 14.832 1.253 0. 3.548 0. 0.
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 53 68 73 131 0 76
normalized size 1 1. 0.9 1.15 1.24 2.22 0. 1.29
time (sec) N/A 0.108 0.075 0.073 0.967 1.967 0. 1.258
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1138 1138 1181 0 0 9441 0 0
normalized size 1 1. 1.04 0. 0. 8.3 0. 0.
time (sec) N/A 2.107 6.635 3.191 0. 7.698 0. 0.
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 825 825 1254 0 0 6433 0 0
normalized size 1 1. 1.52 0. 0. 7.8 0. 0.
time (sec) N/A 1.633 4.984 3.208 0. 5.15 0. 0.
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 524 524 934 1901 0 3862 0 0
normalized size 1 1. 1.78 3.63 0. 7.37 0. 0.
time (sec) N/A 0.899 11.814 1.073 0. 4.032 0. 0.
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 143 334 0 853 0 247
normalized size 1 1. 1.15 2.69 0. 6.88 0. 1.99
time (sec) N/A 0.28 0.281 0.083 0. 3.043 0. 2.088
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 852 852 2974 0 0 9106 0 0
normalized size 1 1. 3.49 0. 0. 10.69 0. 0.
time (sec) N/A 1.782 46.364 2.659 0. 5.069 0. 0.
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 616 616 1833 0 0 6120 0 0
normalized size 1 1. 2.98 0. 0. 9.94 0. 0.
time (sec) N/A 1.387 14.007 2.075 0. 3.539 0. 0.
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 386 386 2314 1732 0 3592 0 0
normalized size 1 1. 5.99 4.49 0. 9.31 0. 0.
time (sec) N/A 0.784 14.746 0.381 0. 3.487 0. 0.
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 54 72 77 166 0 97
normalized size 1 1. 0.9 1.2 1.28 2.77 0. 1.62
time (sec) N/A 0.123 0.094 0.003 0.974 1.951 0. 1.157
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1144 1144 3860 0 0 10645 0 0
normalized size 1 1. 3.37 0. 0. 9.31 0. 0.
time (sec) N/A 2.656 42.502 3.043 0. 8.591 0. 0.
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-2) C F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 840 840 951 0 0 7205 0 0
normalized size 1 1. 1.13 0. 0. 8.58 0. 0.
time (sec) N/A 2.152 10.812 3.44 0. 5.342 0. 0.
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 517 517 1019 1890 0 4292 0 0
normalized size 1 1. 1.97 3.66 0. 8.3 0. 0.
time (sec) N/A 1.142 11.949 1.136 0. 4.273 0. 0.
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 146 249 0 981 0 298
normalized size 1 1. 1.4 2.39 0. 9.43 0. 2.87
time (sec) N/A 0.27 0.802 0.076 0. 2.953 0. 1.819
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1432 1432 3944 0 0 11439 0 0
normalized size 1 1. 2.75 0. 0. 7.99 0. 0.
time (sec) N/A 2.947 44.867 4.713 0. 9.775 0. 0.
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F(-2) C F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1051 1051 5156 0 0 7509 0 0
normalized size 1 1. 4.91 0. 0. 7.14 0. 0.
time (sec) N/A 2.241 13.575 4.864 0. 5.624 0. 0.
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-2) B F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 641 641 2504 2485 0 4313 0 0
normalized size 1 1. 3.91 3.88 0. 6.73 0. 0.
time (sec) N/A 1.225 15.217 2.569 0. 4.428 0. 0.
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 86 124 123 317 0 142
normalized size 1 1. 0.9 1.29 1.28 3.3 0. 1.48
time (sec) N/A 0.155 0.192 0.073 0.983 2.17 0. 2.194

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [249] had the largest ratio of [ 0.6154 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 5 2 1. 14 0.143
2 A 4 2 1. 14 0.143
3 A 3 2 1. 14 0.143
4 A 2 2 1. 12 0.167
5 A 3 3 1. 14 0.214
6 A 4 4 1. 14 0.286
7 A 5 4 1. 14 0.286
8 A 6 4 1. 16 0.25
9 A 4 3 1. 16 0.188
10 A 4 4 1. 16 0.25
11 A 2 1 1. 14 0.071
12 A 5 4 1. 16 0.25
13 A 5 5 1. 16 0.312
14 A 7 6 1. 16 0.375
15 A 7 7 1. 16 0.438
16 A 12 4 1. 16 0.25
17 A 8 4 1. 16 0.25
18 A 6 4 1. 16 0.25
19 A 3 3 1. 14 0.214
20 A 8 4 1. 16 0.25
21 A 8 4 1. 16 0.25
22 A 12 5 1. 16 0.312
23 A 9 5 1. 14 0.357
24 A 7 4 1. 14 0.286
25 A 5 3 1. 12 0.25
26 A 0 0 0. 0 0.
27 A 0 0 0. 0 0.
28 A 6 6 1. 16 0.375
29 A 5 5 1. 16 0.312
30 A 2 2 1. 14 0.143
31 A 0 0 0. 0 0.
32 A 0 0 0. 0 0.
33 A 15 8 1. 16 0.5
34 A 9 6 1. 16 0.375
35 A 6 4 1. 14 0.286
36 A 0 0 0. 0 0.
37 A 0 0 0. 0 0.
38 A 8 6 1. 16 0.375
39 A 7 6 1. 16 0.375
40 A 6 6 1. 16 0.375
41 A 5 5 1. 16 0.312
42 A 6 6 1. 16 0.375
43 A 7 6 1. 16 0.375
44 A 8 6 1. 16 0.375
45 A 10 9 1. 18 0.5
46 A 9 8 1. 18 0.444
47 A 8 7 1. 18 0.389
48 A 7 6 1. 18 0.333
49 A 7 7 1. 18 0.389
50 A 9 8 1. 18 0.444
51 A 9 9 1. 18 0.5
52 A 11 8 1. 18 0.444
53 A 23 8 1. 18 0.444
54 A 20 8 1. 18 0.444
55 A 14 7 1. 18 0.389
56 A 12 6 1. 18 0.333
57 A 12 6 1. 18 0.333
58 A 18 7 1. 18 0.389
59 A 19 8 1. 18 0.444
60 A 4 3 1. 12 0.25
61 A 3 3 1. 12 0.25
62 A 2 2 1. 12 0.167
63 A 3 3 1. 12 0.25
64 A 4 3 1. 12 0.25
65 A 0 0 0. 0 0.
66 A 0 0 0. 0 0.
67 A 2 1 1. 25 0.04
68 A 3 2 1. 29 0.069
69 A 2 1 1. 28 0.036
70 A 3 1 1. 28 0.036
71 A 0 0 0. 0 0.
72 A 8 3 1. 16 0.188
73 A 5 3 1. 16 0.188
74 A 3 2 1. 14 0.143
75 A 0 0 0. 0 0.
76 A 0 0 0. 0 0.
77 A 3 2 1. 12 0.167
78 A 3 2 1. 12 0.167
79 A 3 2 1. 12 0.167
80 A 3 2 1. 10 0.2
81 A 3 2 1. 12 0.167
82 A 3 2 1. 12 0.167
83 A 3 2 1. 12 0.167
84 A 5 3 1. 14 0.214
85 A 5 3 1. 14 0.214
86 A 5 3 1. 14 0.214
87 A 5 3 1. 12 0.25
88 A 5 3 1. 14 0.214
89 A 5 3 1. 14 0.214
90 A 5 3 1. 14 0.214
91 A 4 2 1. 28 0.071
92 A 7 5 1. 32 0.156
93 A 4 2 1. 28 0.071
94 A 5 2 1. 28 0.071
95 A 6 3 1. 18 0.167
96 A 5 3 1. 18 0.167
97 A 4 3 1. 16 0.188
98 A 5 4 1. 18 0.222
99 A 6 5 1. 18 0.278
100 A 7 5 1. 18 0.278
101 A 10 6 1. 20 0.3
102 A 9 7 1. 20 0.35
103 A 6 4 1. 18 0.222
104 A 9 5 1. 20 0.25
105 A 9 5 1. 20 0.25
106 A 15 8 1. 20 0.4
107 A 7 7 1. 20 0.35
108 A 6 6 1. 20 0.3
109 A 3 3 1. 18 0.167
110 A 0 0 0. 0 0.
111 A 0 0 0. 0 0.
112 A 10 9 1. 20 0.45
113 A 9 9 1. 20 0.45
114 A 4 4 1. 18 0.222
115 A 0 0 0. 0 0.
116 A 0 0 0. 0 0.
117 A 7 7 1. 21 0.333
118 A 6 6 1. 21 0.286
119 A 3 3 1. 19 0.158
120 A 0 0 0. 0 0.
121 A 0 0 0. 0 0.
122 A 5 3 1. 18 0.167
123 A 4 3 1. 18 0.167
124 A 3 3 1. 16 0.188
125 A 4 4 1. 18 0.222
126 A 5 5 1. 18 0.278
127 A 6 5 1. 18 0.278
128 A 9 5 1. 18 0.278
129 A 7 5 1. 18 0.278
130 A 4 4 1. 16 0.25
131 A 9 5 1. 18 0.278
132 A 9 5 1. 18 0.278
133 A 13 6 1. 18 0.333
134 A 10 6 1. 18 0.333
135 A 8 5 1. 18 0.278
136 A 6 4 1. 16 0.25
137 A 0 0 0. 0 0.
138 A 0 0 0. 0 0.
139 A 16 9 1. 18 0.5
140 A 10 7 1. 18 0.389
141 A 7 5 1. 16 0.312
142 A 0 0 0. 0 0.
143 A 0 0 0. 0 0.
144 A 0 0 0. 0 0.
145 A 0 0 0. 0 0.
146 A 12 5 1. 20 0.25
147 A 9 5 1. 20 0.25
148 A 5 3 1. 18 0.167
149 A 0 0 0. 0 0.
150 A 0 0 0. 0 0.
151 A 6 3 1. 18 0.167
152 A 5 3 1. 18 0.167
153 A 4 3 1. 16 0.188
154 A 5 4 1. 18 0.222
155 A 6 5 1. 18 0.278
156 A 7 5 1. 18 0.278
157 A 10 6 1. 20 0.3
158 A 9 7 1. 20 0.35
159 A 6 4 1. 18 0.222
160 A 10 5 1. 20 0.25
161 A 11 7 1. 20 0.35
162 A 14 8 1. 20 0.4
163 A 12 7 1. 20 0.35
164 A 10 6 1. 20 0.3
165 A 8 5 1. 18 0.278
166 A 0 0 0. 0 0.
167 A 0 0 0. 0 0.
168 A 22 9 1. 20 0.45
169 A 18 10 1. 20 0.5
170 A 11 8 1. 18 0.444
171 A 0 0 0. 0 0.
172 A 0 0 0. 0 0.
173 A 0 0 0. 0 0.
174 A 18 5 1. 20 0.25
175 A 10 5 1. 20 0.25
176 A 5 3 1. 18 0.167
177 A 0 0 0. 0 0.
178 A 0 0 0. 0 0.
179 A 9 9 1. 26 0.346
180 A 8 8 1. 26 0.308
181 A 5 4 1. 24 0.167
182 A 2 2 1. 19 0.105
183 A 0 0 0. 0 0.
184 A 0 0 0. 0 0.
185 A 14 11 1. 28 0.393
186 A 12 10 1. 28 0.357
187 A 8 6 1. 26 0.231
188 A 4 4 1. 21 0.19
189 A 0 0 0. 0 0.
190 A 0 0 0. 0 0.
191 A 19 13 1. 28 0.464
192 A 17 13 1. 28 0.464
193 A 11 7 1. 26 0.269
194 A 2 2 1. 21 0.095
195 A 0 0 0. 0 0.
196 A 0 0 0. 0 0.
197 A 17 10 1. 26 0.385
198 A 14 11 1. 26 0.423
199 A 9 7 1. 24 0.292
200 A 3 3 1. 19 0.158
201 A 0 0 0. 0 0.
202 A 0 0 0. 0 0.
203 A 24 10 1. 28 0.357
204 A 20 11 1. 28 0.393
205 A 12 7 1. 26 0.269
206 A 5 5 1. 21 0.238
207 A 0 0 0. 0 0.
208 A 0 0 0. 0 0.
209 A 40 13 1. 28 0.464
210 A 30 13 1. 28 0.464
211 A 19 8 1. 26 0.308
212 A 6 6 1. 21 0.286
213 A 0 0 0. 0 0.
214 A 0 0 0. 0 0.
215 A 0 0 0. 0 0.
216 A 0 0 0. 0 0.
217 A 0 0 0. 0 0.
218 A 0 0 0. 0 0.
219 A 0 0 0. 0 0.
220 A 14 9 1. 26 0.346
221 A 12 8 1. 26 0.308
222 A 10 6 1. 24 0.25
223 A 4 4 1. 19 0.21
224 A 19 11 1. 28 0.393
225 A 16 10 1. 28 0.357
226 A 13 8 1. 26 0.308
227 A 6 6 1. 21 0.286
228 A 24 13 1. 28 0.464
229 A 21 13 1. 28 0.464
230 A 16 9 1. 26 0.346
231 A 6 6 1. 21 0.286
232 A 22 9 1. 26 0.346
233 A 18 8 1. 26 0.308
234 A 14 7 1. 24 0.292
235 A 5 5 1. 19 0.263
236 A 29 11 1. 28 0.393
237 A 24 12 1. 28 0.429
238 A 17 9 1. 26 0.346
239 A 7 7 1. 21 0.333
240 A 0 0 0. 0 0.
241 A 0 0 0. 0 0.
242 A 0 0 0. 0 0.
243 A 0 0 0. 0 0.
244 A 0 0 0. 0 0.
245 A 21 9 1. 24 0.375
246 A 30 11 1. 26 0.423
247 A 36 10 1. 26 0.385
248 A 48 11 1. 24 0.458
249 A 73 16 1. 26 0.615
250 A 92 14 1. 26 0.538
251 A 6 6 1. 26 0.231
252 A 5 5 1. 26 0.192
253 A 4 4 1. 24 0.167
254 A 2 2 1. 19 0.105
255 A 0 0 0. 0 0.
256 A 0 0 0. 0 0.
257 A 6 4 1. 28 0.143
258 A 5 4 1. 28 0.143
259 A 4 3 1. 26 0.115
260 A 2 2 1. 21 0.095
261 A 5 5 1. 28 0.179
262 A 6 6 1. 28 0.214
263 A 10 8 1. 28 0.286
264 A 7 5 1. 28 0.179
265 A 6 6 1. 26 0.231
266 A 2 1 1. 21 0.048
267 A 9 6 1. 28 0.214
268 A 11 7 1. 28 0.25
269 A 22 13 1. 26 0.5
270 A 13 10 1. 26 0.385
271 A 10 8 1. 24 0.333
272 A 4 3 1. 19 0.158
273 A 0 0 0. 0 0.
274 A 0 0 0. 0 0.
275 A 20 12 1. 28 0.429
276 A 16 12 1. 28 0.429
277 A 7 7 1. 26 0.269
278 A 3 3 1. 21 0.143
279 A 0 0 0. 0 0.
280 A 0 0 0. 0 0.
281 A 32 16 1. 28 0.571
282 A 17 12 1. 28 0.429
283 A 11 7 1. 26 0.269
284 A 4 3 1. 21 0.143
285 A 0 0 0. 0 0.
286 A 0 0 0. 0 0.
287 A 14 6 1. 28 0.214
288 A 9 6 1. 28 0.214
289 A 5 4 1. 28 0.143
290 A 0 0 0. 0 0.
291 A 0 0 0. 0 0.
292 A 0 0 0. 0 0.
293 A 0 0 0. 0 0.
294 A 11 6 1. 26 0.231
295 A 9 5 1. 26 0.192
296 A 7 4 1. 24 0.167
297 A 2 2 1. 19 0.105
298 A 18 11 1. 28 0.393
299 A 15 10 1. 28 0.357
300 A 12 8 1. 26 0.308
301 A 5 5 1. 21 0.238
302 A 21 14 1. 28 0.5
303 A 16 10 1. 28 0.357
304 A 13 10 1. 26 0.385
305 A 3 2 1. 21 0.095
306 A 29 10 1. 26 0.385
307 A 24 9 1. 26 0.346
308 A 19 8 1. 24 0.333
309 A 6 4 1. 19 0.21
310 A 29 13 1. 28 0.464
311 A 24 14 1. 28 0.5
312 A 15 11 1. 26 0.423
313 A 5 5 1. 21 0.238
314 A 0 0 0. 0 0.
315 A 0 0 0. 0 0.
316 A 0 0 0. 0 0.
317 A 0 0 0. 0 0.
318 A 0 0 0. 0 0.
319 A 4 4 1. 24 0.167
320 A 9 6 1. 26 0.231
321 A 11 7 1. 26 0.269
322 A 6 6 1. 24 0.25
323 A 12 9 1. 26 0.346
324 A 19 11 1. 26 0.423
325 A 33 14 1. 32 0.438
326 A 27 13 1. 32 0.406
327 A 21 11 1. 30 0.367
328 A 6 6 1. 25 0.24
329 A 34 17 1. 34 0.5
330 A 26 13 1. 34 0.382
331 A 22 13 1. 32 0.406
332 A 4 3 1. 27 0.111
333 A 53 18 1. 34 0.529
334 A 41 18 1. 34 0.529
335 A 31 14 1. 32 0.438
336 A 6 6 1. 27 0.222
337 A 48 19 1. 34 0.559
338 A 37 17 1. 34 0.5
339 A 28 15 1. 32 0.469
340 A 4 3 1. 27 0.111
341 A 66 20 1. 36 0.556
342 A 53 22 1. 36 0.611
343 A 38 16 1. 34 0.471
344 A 6 6 1. 29 0.207
345 A 85 21 1. 36 0.583
346 A 60 20 1. 36 0.556
347 A 45 17 1. 34 0.5
348 A 4 3 1. 29 0.103

[next] [prev] [prev-tail] [front] [up]